Towards Performance Evaluation in Process Algebras
نویسندگان
چکیده
A new bisimulation based semantics, called performance equivalence, is proposed for a finite process algebra. It equates systems whenever they perform the same actions in the same amount of time, thus introducing a simple form of performance evaluation in process algebras. A comparison with other equivalences is provided; in particular, we show that performance equivalence is strictly finer than step bisimulation equivalence and strictly coarser than partial ordering bisimulation equivalence. This paper will appear in the Proc. of Third Int. Conf. on Algebraic Methodology and Software Technology (AMAST’93), Springer-Verlag, 1993. 1. This work has been partially supported by Esprit Basic Research project BROADCAST n.6360 and by Italian CNR, grant n. 92.00069.CT12.115.25585. 2. Dipartimento di Matematica, Università di Bologna, Piazza di Porta San Donato 5, I – 40127 Bologna (Italy)
منابع مشابه
Towards Performance Evaluation with General Distributions in Process Algebras
We present a process algebra for the performance modeling and evaluation of concurrent systems whose activity durations are expressed through general probability distributions. We first determine the class of generalized semi-Markov processes (GSMPs) as being the class of stochastic processes on which we must rely for performance evaluation to be possible. Then we argue that in this context the...
متن کاملFaculty Members’ Viewpoints towards Teacher Evaluation Process in Isfahan University of Medical Science
Introduction: There are limited studies regarding teacher evaluation process. The goal of this study was to determine faculty members’ viewpoints regarding teacher evaluation process and its relationship with their characteristics in Isfahan University of Medical Sciences. Methods: In a descriptive study, 185 faculty members were selected by stratified random sampling method. The data collec...
متن کاملStochastic Process Algebras : a New Approach
10.1 INTRODUCTION In this chapter we present an introduction to the novel approach to performance modeling provided by Stochastic Process Algebras (SPA). Like queueing networks and stochastic Petri nets, and their variants, these formal languages can be regarded as high-level model speciication languages for low-level stochastic models. The advantages of SPAs are that they incorporate the attra...
متن کاملProcess algebra for performance evaluation
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined by a random variable. A huge class of resource-sharing systems — like large-scale computers, client-server architectures, networks — can accurately be described using such stochastic specification formalisms. The main...
متن کاملStochastic Process Algebras Applied to Failure Modelling
In the past we concentrated on the conceptual design and theoretical foundation of stochastic process algebras and applied this promising method mainly to the performance evaluation of multiprocessor and distributed systems. Nevertheless, we demonstrated at the READPAC– Workshop in principle and by an example how to apply these ideas to the description of reliability aspects. Our current versio...
متن کامل